/* SPDX-License-Identifier: GPL-2.0 */

#ifndef __X86_QUICK_KEXEC_INTERNAL_H
#define __X86_QUICK_KEXEC_INTERNAL_H

#include <linux/types.h>

#ifdef CONFIG_QUICK_KEXEC
void __init reserve_quick_kexec(void);
void __init reserve_quick_rollback(void);
#else
static inline void __init reserve_quick_kexec(void) {}
static inline void __init reserve_quick_rollback(void) {}
#endif

#ifdef CONFIG_EULEROS_ANGEL_CORE_MONITOR
void __init reserve_angel_mem(void);
#else
static inline void __init reserve_angel_mem(void) {}
#endif

#ifdef CONFIG_EULEROS_X86_CPU_PARK
void __init reserve_park_mem(void);
#else
static inline void __init reserve_park_mem(void) {}
#endif

#endif /* ifndef _QUICK_KEXEC_INTERNAL_H */
